$\forall$${\it as}$:Top List, $f$:Top. $\neg$null(${\it as}$) $\Rightarrow$ (last(map($f$;${\it as}$)) $\sim$ ($f$(last(${\it as}$))))